[Fwd: Re: [PPL-devel] install bug]