small tweak to Makefile