dsyevx(3) on Linux

The text fd7104ad8c83, as Debian 7 (Wheezy) shipped it.

dsyevx(3) on Linux now