The text b64049540c7e, as Debian 7 (Wheezy) shipped it.
std::weibull_distribution_param_type(3cxx) on Linux now
