ssygvx.f(3) on Linux

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

ssygvx.f(3) on Linux now