Fix travis build, hopefully