Use PHPUnit 3.6.12