Log Message:
install-sh requires that $SHELL is an extremely close match to /bin/sh.

The install would presumably fail outright for user shells like tcsh, so we
need to set SHELL regardless.  But technically install-sh has a quoting bug
in the exit trap, which even results in SHELL=zsh failing.