cggesx(3) on Linux

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

cggesx(3) on Linux now