zheev(3) on Linux

The text 80c91e52072e, as Debian 10 (Buster) shipped it.

zheev(3) on Linux now