modified travis settings