Update to PHPUnit 4.1.1