sha1_name: convert uses of 40 to GIT_SHA1_HEXSZ