Change in simtrace2[master]: contrib/jenkins.sh: set USE_CLANG=1