__gnu_pbds::tree_order_statistics_node_update(3cxx) on Linux

The text 48698178f9bf, as Debian 8 (Jessie) shipped it.

__gnu_pbds::tree_order_statistics_node_update(3cxx) on Linux now