Fixing a problem with a NULL config_file pointer when accessing