Fixed Bug #9359: XML Problems with PHP5 and libxml