Fix gitupdate.php