dlartg(3) on Linux

The text cae698e95bfd, as Debian 8 (Jessie) shipped it.

dlartg(3) on Linux now