Add "options INCLUDE_CONFIG_FILE"