git_sha1_gen.py: fix whitespace