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