Fix for Jenkins.