Fixed mir-crunch

This patch should be released alongside the mirage-fs patch. It fixes mir-crunch when using mirage autoswitch.

New releases should be done for both mirage-fs and mirari.