cggsvp3(3) on Linux

The text a43e58ce2b0c, as Debian 12 (Bookworm) shipped it.

complex

cggsvp3(3) on Linux now