jenkins-build.sh: build the deploy role under Debian and Ubuntu