if i am reading the config file correctly (attempting to get it working on a desktop linux install) the music is originally in midi, but can be found in mp3 form online (one address is mentioned in the config.txt file).

the game itself seems fairly compact, if one can manually install the needed files on a SD card somehow.