fix upgradedb.php