pminres(4rheolef) on Linux

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

pminres(4rheolef) on Linux now