modification travis.yml