don't build the shared rocksdb library