The text 02f8b4217612, as Debian 8 (Jessie) shipped it.
std::extreme_value_distribution(3cxx) on Linux now