Introduce get_config_file_name().