The text 1121d3cd49e9, as Debian 7 (Wheezy) shipped it.
Set a library option for a specific midi
WildMidi_SetOption(3) on Linux now
