dporfsx.f(3) on Linux

The text 4a886bd44977, as Debian 9 (Stretch) shipped it.

dporfsx.f(3) on Linux now