zheevx_2stage(3) on Linux

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

zheevx_2stage(3) on Linux now