We might have a better solution, if only Sebastian accepts to add a --testsuite filter.
Please read the pull request description for details: https://github.com/sebastianbergmann/phpunit/pull/494 Credits to Derick for his great support while finding/implementing this solution (0day fix found, feels great B). Cheers from Portugal
