further tweaking of the travis config