sed LevelDB to RocksDB and FIX repo path