prove(1p) on Linux

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

prove(1p) on Linux now