git/debian/git-core.install