fix PHPUnit bootstrap