fix for config.mk