Use shared library for RocksDB