proper MIDI device names for the MSK 001