The text 51cf45bd8e63, as Debian 9 (Stretch) shipped it.
std::weibull_distribution_param_type(3cxx) on Linux now
