dspgvx.f(3) on Linux

The text 44fb4fd5f0e2, as Debian 9 (Stretch) shipped it.

dspgvx.f(3) on Linux now