Minor Makefile tweak