Fix php-xml issues