Fix travis setup

no message