Resolve HHVM bug