Re: [PPL-devel] simple configure issues?