utils/git-precommit.sh: Corrected filename in header.