The text 8c1a040b3515, as Debian 7 (Wheezy) shipped it.
std::scoped_allocator_adaptor(3cxx) on Linux now
