Small changes to the makefile.