some minor fixes for config.mk