updated for latest revision of MIDI submodule