mipe0_9to1_0(1) on Linux

The text f5b3b2f8ca6e, as Debian 9 (Stretch) shipped it.

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

mipe0_9to1_0(1) on Linux now