gcc13 C++ library linking error

[haberg-1]

There is a gcc13 C++ library linking error [1], which does not appear with gcc12 or clang-17, when compiling [2]: The name "replace_cold", as in [1], appears only in the static libraries libstdc++.a and libstdc++fs.a, and not the dynamic library libstdc++.6.dylib. It does not appear in the gcc12 C++ libraries.

1. Undefined symbols for architecture x86_64: "ZNSt7cxx1112basic_stringIcSt11char_traitsIcESaIcEE15_M_replace_coldEPcmPKcmm", referenced from:

ZNSt7cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm in database-lexer.o ZNSt7cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm in database-parser.o ZNSt7cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm in directive-lexer.o

2. ​https://savannah.gnu.org/git/?group=metalogic-inference