Tweak to config.make