Update to PHPUnit 4.1