more travis related tweaks