Use tagged RocksDB version