fix some travis config issues