Makefile: use short gitrev for version string.