File php7-php-config.patch of Package php7