minor modifications to Makefile