tweaking travis.yml