small changes for the Makefile