Re: [PPL-devel] configure failing on Linux...