Fix version in jenkins Dockerfile.