Fix deploy.php