minor tweak to Makefile