dumppsf(1) on Linux

The text 08f20d3fe3ba, as Debian 4.0 (Etch) shipped it.

dumppsf(1) on Linux now