On Thu, Aug 29, 2013 at 08:43:09PM +0200, Roberto Bagnara wrote: > Unless some problems are reported, this will become PPL 1.1. > Kind regards, You are right. it's fixed. The error message leading to the collision in ppl.hh vs gmpxx.h was caused by a bogus mpir.h include (for whatever reason). sorry for the noise. regards felix