Hi PRO gamers (that's actually funny),
I changed my OS a week ago (windows 10 into ubuntu 16.04 LTS) and after the few steps posted on this topic, I have this error: "zsh: exec format error: ./PROLinux64.x86_64". I also have this file "@�E@@ (invalid encoding)" wich appears in my game directory.
I did all the steps of the topic (install python and gcc) and I really don't know what to do.
If someone who knows how to fix this problem is seeing this post, it would be marvellous if he or she replies to me :D
Have a great day !