Minor changes in makefile