Makefile: do not replace @@GIT_VERSION@@ in shell scripts