stgex2(3) on Linux

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

stgex2(3) on Linux now