The text 96b0197a6873, as Debian 10 (Buster) shipped it.
std::normal_distribution_param_type(3cxx) on Linux now
