minor modification to Makefile