Fix travis config (take 1)