std::shuffle_order_engine(3cxx) on Linux

The text 11cd2b1589ae, as Debian 12 (Bookworm) shipped it.

Produces random numbers by reordering random numbers from some base engine.

std::shuffle_order_engine(3cxx) on Linux now