another minor change to the Makefile