a few tweaks to scripts/jenkins-test