php-phpunit-PHPUnit-MockObject: workaround to autoload issue during check