dgesvxx(3) on Linux

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

dgesvxx(3) on Linux now