Revise scripts to use /bin/bash instead of /bin/sh.