PHPUnit: try to avoid segfault

Manually apply https://github.com/sebastianbergmann/phpunit/commit/1d9d8a84fd20011411f685a19ba60a37a88dbf38 from PHPUnit 3.7.22

PLATFORM-280