git-rev fix for makefile