Re: [PPL-devel] PPL 1.2 installation problem