std::time_put(3cxx) on Linux

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

Primary class template time_put. This facet encapsulates the code to format and output dates and times according to formats used by strftime().