The text 1657cb28abc2, as Debian 7 (Wheezy) shipped it.
std::student_t_distribution_param_type(3cxx) on Linux now
