fixing travis.yml: