std::minus(3cxx) on Linux

The text 19a9d510340e, as Debian 8 (Jessie) shipped it.

std::minus(3cxx) on Linux now