We need a specific version of the mongo extension.