post: Better MIDI playback on Windows