Small Makefile tweak