travis settings fix