Fix travis config.