dev-php/hhvm: update manifest