Rename config_file to options_file.