cosmetic changes in the makefile