The text 71e5068a847d, as Debian 10 (Buster) shipped it.
Controlling output for files.
std::ofstream(3cxx) on Linux now
