slightly modified Makefile