ci/deploy.sh, lib.sh: Align SSH_KEY with Jenkins