std::binary_function(3cxx) on Linux

The text d59e0c3b526f, as Debian 9 (Stretch) shipped it.

std::binary_function(3cxx) on Linux now