Fix incompatability for PHPUnit 4.0