Makefiles updated by setup script