minor changes to makefiles