tweaked some travis settings