fixing some travis stuff