FIXME: install as C:\AUTO\mint????.prg
FIXME: naming conventions (memprot, vm, etc.)

Comment: mint.prg shouldn't be installed automatically by the
source distribution tools. We should rather develop an appropriate
installer for binary distribution or grab that nice GEM installer
what came with beta of MultiTOS 1.08 (are we allowed?).
