The text 501e3bbcb8e2, as Debian 7 (Wheezy) shipped it.
std::lognormal_distribution(3cxx) on Linux now
