For future reference, you can set executable permissions on a Linux binary by right clicking in your file browser and selecting properties. You can also use the chmod command with the +x option to add executable permissions from a terminal. This will allow the game to run.
The Linux version ran fine for me after doing that!