sgesdd(3) on Linux

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

sgesdd(3) on Linux now