Small changes to makefiles