The text c5c2e5dedf66, as Debian 2.0 (Hamm) shipped it.
Convert abc file to MIDI
-c
abc2midi(1) on Linux now