run.sh: Fixed binary name when running editor