=pro Check, fix or ignore potential binary incompatiblities reported by MiMa

Also bumped MiMa to version 0.1.4