modify autotest.py in tools/jenkins-scripts