GUI: forgot to commit `run.sh' script many weeks ago