dsygv(3) on Linux

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

dsygv(3) on Linux now