minor Makefile tweak