Re: [PD-dev] MIDI problems on linux