std::bad_weak_ptr(3cxx) on Linux

The text 5731805fd21b, as Debian 7 (Wheezy) shipped it.

std::bad_weak_ptr(3cxx) on Linux now