Should we use `bash` instead of `sh`?