Use PHPUnit 4.1