scripts/common.sh: remove a couple bashisms

This allows the scripts to work on systems that don't have /bin/bash as
/bin/sh--such as Debian.