Delete library.php