HOTFIX for broken CI, by SPARK-1336

Learnt about `set -o pipefail` is very useful.