The text 5549916d8a39, as Debian 9 (Stretch) shipped it.
The standard mutex type.
std::mutex(3cxx) on Linux now
