Fix `option INCLUDE_CONFIG_FILE',