minor changes in Makefile