Use PHPUnit 4.0