looks like I misinterpreted prefix here

error message is:
/usr/bin/run-standalone.sh: line 11: a.out: Permission denied

so I thought about: chmod +x a.out, but I cannot change rights...

edit: it's been a long time since I used a shell on linux... just made a copy with root and done works great!