Update to_midi.ml