The text 72fb4bd618de, as Debian 8 (Jessie) shipped it.
__gnu_pbds::detail::resize_policy(3cxx) on Linux now
