dsyevr(3) on Linux

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

dsyevr(3) on Linux now