The text 74c19a93e164, as Debian 7 (Wheezy) shipped it.
std::discrete_distribution_param_type(3cxx) on Linux now
