ssbgvx.f(3) on Linux

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

ssbgvx.f(3) on Linux now