Slight Makefile tweak