The text c7b7204ffcc1, as Debian 10 (Buster) shipped it.
std::weibull_distribution_param_type(3cxx) on Linux now
