ctfsm.f(3) on Linux

The text 107dad3e58e4, as Debian 8 (Jessie) shipped it.

ctfsm.f(3) on Linux now