Fix OSX port of rocksdb