more on HHVM compatibility