Fix Jenkins.