Re: [PPL-devel] Duplicate code between ppl-1.0 and gmp-5.1.0