some changes in travis config