Added debug_extras.debug_mfmt option, issue #119