minor makefile tweak