std::input_iterator_tag(3cxx) on Linux

The text 3b8cc7b6f34d, as Debian 8 (Jessie) shipped it.

std::input_iterator_tag(3cxx) on Linux now