fix #38041: pedal not exported to MIDI