Tweak PHPUnit bootstrap