RocksDB: Update to 3.8.1