updated travis settings