minor changes in makefiles