PPI(3pm) on Linux

The text 7f0b04b3cf46, as Debian 5.0 (Lenny) shipped it.

PPI(3pm) on Linux now