fix some travis settings