Jenkins build is back to normal : simtester-sanitize #9