realGEeigen(3) on Linux

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

realGEeigen(3) on Linux now