Fix phpunit coverage for hhvm