more travis config tweaks