During an upgrade, an error message "unknown variable $config" emerged
as require_once() did not actually included the script version.php if
this script was already included earlier during processing.