aux_eig(3) on Linux

The text 6656d634fc54, as Debian 11 (Bullseye) shipped it.

aux

aux_eig(3) on Linux now