It also doesn't work with JiffyDOS, the DolphinDOS Patch version (the ones with the colored stripes). No biggie, I can just remind myself to boot in stock
