play around some more with travis.yml, one of these days...