Fix the config compiler's ignorance

fixes #5482