revised version of travis.yml