using ``phpunit --self-update`` to update the phar will probably be a faster way to get a working PHPUnit version as soon as PHPUnit 4.0.19 is released, as https://github.com/sebastianbergmann/phpunit/issues/1193 has been fixed