correct RIODesc->flags for w32dbg and mach