Fix Jenkins versioning, properly.