.travis.yml: several fixes