Remove some bashism from the shell scripts.

Note that configure.sh still uses the bashism $(RANDOM).
2 files changed