std::extreme_value_distribution(3cxx) on Linux

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

A extreme_value_distribution random number distribution.

std::extreme_value_distribution(3cxx) on Linux now