modified PHPUnit bootstrap file