Re: [PPL-devel] Problems building snapshot 0.10pre32