makefile tweak for #1