The text 9f421d4f9283, as Debian 2.2 (Potato) shipped it.
Convert abc file to MIDI
-c
abc2midi(1) on Linux now
