more travis version tweaking