Add the git commit hash more "portably", and only its first 4 digits instead of 7.