#667 Make it possible for db_update.php to load again