Got it to run by downloading both the windows and linux versions, moving the .exe into the unzipped linux folder, and then renaming the .exe and .pck file to the same thing. Really fun idea and the music is incredible. Great job!