name of the uncompressed folder of a tag archive changed
The archive fetched in https://gitlab.com/barrel-db/rocksdb/tags (at least v.4.13) hen uncompressed provides a folder with a different name . This change happened on latest version of gitlab.com (9 rc2).
It was ^previously creating a folder prefixed with rocksdb-v4.13-*
and now rocksdb-v4-13-*
(note the `-) .