Use PHPUnit 4