Delete libxml.php