No need to source /etc/jenkins/debian-glue twice in the same script