change travis settings