fixing travis settings