pkg-php-tools-deficiency-workaround.diff
