std::not_equal_to(3cxx) on Linux

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

std::not_equal_to(3cxx) on Linux now