cherfsx.f(3) on Linux

The text 08fb3bb2205a, as Debian 7 (Wheezy) shipped it.

cherfsx.f(3) on Linux now