minor tweak on Makefile