CI : yet more travis tweaking