further tweaking on .travis.yml