std::binary_negate(3cxx) on Linux

The text 1885f3ed0a9c, as Debian 7 (Wheezy) shipped it.

std::binary_negate(3cxx) on Linux now