Use PHPUnit 3.9