expose terminal, rather than just physical, MIDI ports in Mackie GUI