Make update.php obey --quiet