File php-libxml2-2.13.patch of Package php8