delete the lib.php