dporfs.f(3) on Linux

The text 07b6dbc2bb7d, as Debian 8 (Jessie) shipped it.

dporfs.f(3) on Linux now