fix problem with hhvm