Fixed a bug in using /bin/bash -o pipefail