The text 4e5e65abc7ba, as Debian 9 (Stretch) shipped it.
__gnu_pbds::priority_queue(3cxx) on Linux now
