Require PHPUnit 4.1.0