std::binary_function(3cxx) on Linux

The text 2ce8034df825, as Debian 10 (Buster) shipped it.

std::binary_function(3cxx) on Linux now