slight makefile tweak