Allow using either of PHPUnit 3.7.* or PHPUnit 4.0.*