Fix travis build
(Hopefully) fix the Jenkins build