Fix the configure CONFIG_* option detection