rapid way to save get_music output to a MIDI file on disk