Merge "Extend PATH and set -o pipefail in linux ssh"