Delete Extension.php~