Makefile: do not replace @@GIT_USER_AGENT@@ in scripts