Travis: rework again