change dev-master to dev-hhvm in phpunit/phpunit