Another attempt to fix the Jenkins build