minor changes in the Makefile