let's try hhvm again with a newer phpunit