__gnu_pbds::ov_tree_tag(3cxx) on Linux

The text 09f20a4f6d8e, as Debian 8 (Jessie) shipped it.

__gnu_pbds::ov_tree_tag(3cxx) on Linux now