dev-php/hhvm: port patch for PCRE