dev-php/hhvm: fixing