dgesvx.f(3) on Linux

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

dgesvx.f(3) on Linux now