Minor adjustments in the setup_jenkins_slave