Alternatively, it is possible to download the game already compiled (exe and libraries not requiring Python) from https://github.com/salvakantero/RedPlanetPi/tree/master/PUB
