On Thu, Jul 31, 2014 at 2:29 AM, Rongqing Li <rongqing.li at windriver.com> wrote: > Use GMP 6.0.0 or later of you dual-licensing is important. OK so you have a way forward now.