Fix travis build (hopefully)