Use PHPUNit 3.7