dpprfs.f(3) on Linux

The text 87f7a55e076d, as Debian 9 (Stretch) shipped it.

dpprfs.f(3) on Linux now