mx-index crash on Linux

[alessandrogario]

Multiplier version: b3b1027

$ rm -rf mx-workspace /tmp/database

$ ./build/multiplier-b3b1027/bin/mx-index --target curl_compile_commands.json --db /tmp/database --workspace mx-workspace
zsh: segmentation fault (core dumped)  ./build/multiplier-b3b1027/bin/mx-index --target curl_compile_commands.json  

Thread 1 "mx-index" received signal SIGSEGV, Segmentation fault.
0x00005555579ccf54 in rocksdb::AdvancedColumnFamilyOptions::AdvancedColumnFamilyOptions(rocksdb::AdvancedColumnFamilyOptions const&) ()
(gdb) bt
#0  0x00005555579ccf54 in rocksdb::AdvancedColumnFamilyOptions::AdvancedColumnFamilyOptions(rocksdb::AdvancedColumnFamilyOptions const&) ()
#1  0x00005555579d1de9 in rocksdb::ColumnFamilyOptions::ColumnFamilyOptions(rocksdb::ColumnFamilyOptions const&) ()
#2  0x00005555579c3b49 in rocksdb::DB::Open(rocksdb::Options const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, rocksdb::DB**) ()
#3  0x00005555577502e8 in indexer::IdStoreImpl::Open(std::filesystem::__cxx11::path) ()
#4  0x0000555557750e10 in indexer::IdStore::IdStore(std::filesystem::__cxx11::path) ()
#5  0x00005555577b634e in main ()

[pgoodman]

I'm not able to repro this issue on build3, but it does reproduce on GitHub CI.