std::weibull_distribution(3cxx) on Linux

The text 49a78fe26816, as Debian 12 (Bookworm) shipped it.

A weibull_distribution random number distribution.

std::weibull_distribution(3cxx) on Linux now