Make upgrading.php work