Fix travis woes

(hopefully)