The text d2dfb8d3a4b3, as Debian 8 (Jessie) shipped it.
__gnu_cxx::__common_pool_policy(3cxx) on Linux now
