setting-up-your-system/midi-on-linux