dsyevx(3) on Linux

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

dsyevx(3) on Linux now