__gnu_cxx::subtractive_rng(3) on Linux

The text 2de19a3a2b65, as Debian 3.1 (Sarge) shipped it.

__gnu_cxx::subtractive_rng(3) on Linux now