Minor changes to the Makefile