std::bad_exception(3cxx) on Linux

The text 3a241cb28434, as Debian 9 (Stretch) shipped it.

std::bad_exception(3cxx) on Linux now