std::domain_error(3cxx) on Linux

The text 2d81b3e6c76a, as Debian 9 (Stretch) shipped it.

std::domain_error(3cxx) on Linux now