cggsvp(3) on Linux

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

cggsvp(3) on Linux now