__gnu_pbds(3cxx) on Linux

The text 25722e4d642a, as Debian 8 (Jessie) shipped it.

__gnu_pbds(3cxx) on Linux now