std::__profile::deque(3cxx) on Linux

The text b6b8dcc4eb10, as Debian 10 (Buster) shipped it.

Class std::deque wrapper with performance instrumentation.

std::__profile::deque(3cxx) on Linux now