changed travis settings