launcher.sh: prevent an instantaneous re-run