dev-php/hhvm: fix manifest