Update xmllib.php