Make the installation target of git-gui a little less chatty