#1763173 from Stefan Huehner: declare unload_configfile() static.