Make maintenance/update.php parse again under PHP 4.1.0