__gnu_cxx::random_condition(3cxx) on Linux

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

Base class for random probability control and throw.

__gnu_cxx::random_condition(3cxx) on Linux now