Oops: fix incorrect filename in the Dual MIDI device demo.