Delete server.php~