Fix compatibility with PHPUnit 3.7.* || (>=4.0 && <5.0-dev)