changing travis settings