small tweak for makefile