port pipefail shell option from dokku