EEEF(3) on Linux

The text 8b83c6219e15, as Debian 9 (Stretch) shipped it.

EEEF(3) on Linux now