doublePOauxiliary(3) on Linux

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

doublePOauxiliary(3) on Linux now