stgexc(3) on Linux

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

stgexc(3) on Linux now