Minor changes to Makefile