Rename set_options_config to options_config=