Changing travis settings