minor fixes for config.mk