minor refinement of Makefile