Makefile: be silent when only GIT_USER_AGENT changes