sgtsvx(3) on Linux

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

sgtsvx(3) on Linux now