changes in travis config file