complex16HEeigen(3) on Linux

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

complex16HEeigen(3) on Linux now