std::once_flag(3cxx) on Linux

The text 096d0547dfc8, as Debian 10 (Buster) shipped it.

once_flag

std::once_flag(3cxx) on Linux now