another change in travis.yml