Re: [PATCH v3] Remove bashisms from spectrum shell scripts