Fix travis settings