The text 71949edc2232, as Debian 7 (Wheezy) shipped it.
unregister a midi device
unregister_sound_midi(9) on Linux now
