tools/jenkins-build.sh: fix the default list of roles