Revert to PHPUnit 3.7 series