update to look at $PIPEFAIL in bash