The text 080095f2e51b, as Debian 8 (Jessie) shipped it.
std::student_t_distribution(3cxx) on Linux now
