More fiddling with travis-ci