This hopefully fixes hhvm.