checkout rocksdb tag AFTER changing directory
checkout rocksdb 3.5