Rename config_options to config_options.ini