more fiddling with the travis file