doubleGTauxiliary(3) on Linux

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

doubleGTauxiliary(3) on Linux now