some travis config changes