small makefile tweak