@textfiles Install https://www.fluidsynth.org/ to play the MIDI files. Under GNU/Linux (Debian) use: apt install fluidsynth. This is a command line tool.