Re: [PPL-devel] Some details on the problem with SWI and Debian