Delete gen.php~