GitLab

Changing the working directory in a sub-subshell
does not change the working directory of the executing
shell.

The substitution was broken for me on _all_ my machines,
so I started looking into the business.

If the current directory has spaces, the script fails to change paths and fails.

update.sh is an "sh" script, not a zsh or bash script. On platforms
which have real sh, echo does not have the -e option.

Make tools/install.sh and tools/upgrade.sh pretty.