minor change to Makefile