modified some travis settings