HHVM MongoDB fix