Fix travis setup.