MIDI export: due to a bug of Mac OS X 10.4, MIDI files generated on Intel machines contained invalid data. Since Apple still hasn't provided a fix for the bug, a workaround has been implemented and now TabView generates working files on Intel Macs as well.