travis.yml: fixing