one more change in travis configuration