The text f6b7f004658b, as Debian 9 (Stretch) shipped it.
std::normal_distribution_param_type(3cxx) on Linux now
