Fix travis config (take 2)