mipe0_9to1_0(1) on Linux

The text b4c34cc768d7, as Debian 10 (Buster) shipped it.

Reads a MIPE file version 0.9 and prints it in version 1.0

mipe0_9to1_0(1) on Linux now