There is no rule for a exporting a renpy game. The creator choses the platform to create the files for. They can chose to create 32, 64, or both, and Mac Files and Linux files.
Also there is not really a naming convention. Some chose to name the files with 32 bit and or 64 bit, some do not.
If no log.txt was created, that sounds like a serious problem. You would not happen to run this from within a zip file or extracted it with one account and execute it with another account that has no write permission or any such similar things?
I did not try that cat game, but the windows and the linux version seem to be the same zip file. Did you maybe miss the windows version and tried to start the linux version?
Technically, only a very small portion of a renpy game is platform specific. You can even run them from within the renpy developerkit, if your operating system is missing. You just need to select it as a project.