That is unfortunate, what seems to be the problem?
We are using .x86_64 as our executable, which should be able to launch from the terminal just like a .sh.
I can only open a .sh-file, because I'm not the owner of the Linux-PC I'm using. The PC belongs to "KI Makerspace", placest in Tübingen, Germany.
