minor changes to Makefile