minor fix for config.mk