Yet another phpunit fix