Minor makefile tweak