Delete lib.php~