fix deploy.php