Update in travis configuration