The text a02cfb57daa9, as Debian 10 (Buster) shipped it.
__gnu_debug::_Not_equal_to(3cxx) on Linux now
