Just to be sure, I checked on the permissions of the files unzipped straight into my home directory:
jonathan@Odin:~$ ls -l Autonauts.*
-rw-rw-r-- 1 jonathan jonathan 31722796 Jul 23 09:24 Autonauts.x86
-rw-rw-r-- 1 jonathan jonathan 31348864 Jul 23 09:24 Autonauts.x86_64
jonathan@Odin:~$ chmod u+x Autonauts.*
u+x means 'add the execute permission for the user (owner)'. Then the listing shows:jonathan@Odin:~$ ls -l Autonauts.*
-rwxrw-r-- 1 jonathan jonathan 31722796 Jul 23 09:24 Autonauts.x86
chmod a+x Autonauts.*
You could try shipping the files with the execute permissions set; I don't know if that might trigger some security problems in some machines. Most Linux users would be OK using chmod, as I have above.
More on chmod and permissions at https://en.wikipedia.org/wiki/Chmod#Symbolic_modes
Cheers
Jonathan