__gnu_parallel::_DRandomShufflingGlobalData(3cxx) on Linux

The text 1e42b5e3eb14, as Debian 7 (Wheezy) shipped it.

__gnu_parallel::_DRandomShufflingGlobalData(3cxx) on Linux now