std::thread(3cxx) on Linux

The text 1f9535e2cad3, as Debian 7 (Wheezy) shipped it.

std::thread(3cxx) on Linux now