std::bad_exception(3cxx) on Linux

The text 0c536f5a70f6, as Debian 11 (Bullseye) shipped it.

std::bad_exception(3cxx) on Linux now