For now I'm doing the following for my config.hdf file, where my current directory is the mongo-hhvm-driver folder

~~~
DynamicExtensionPath != pwd
DynamicExtensions {
  * = mongo.so
}
~~~