minor modification in Makefile