Fix a quick typo in config.mk