Fix travis config

*