update MIDIFile to produce valid MIDI files even when empty