Change in travis configuration