PHPUnit 3.8 does not work on PHP 5.3 - allowing PHPUnit 3.7 too