mpp(1) on Linux

The text a9b4b3588f16, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.

mpp(1) on Linux now