DMG formats: even more debugging