RocksDB: Update to 3.7