Tweak to PHPUnit bootstrap