Improve PHPUnit bootstrap file