RocksDB: Update to RocksDB v3.9