Makefile: avoid timestamp updates to GIT-BUILD-OPTIONS