Bad repo (Re: MIDI problem--no sound)