Patch-up for new Map-based MIDI port lists