[PPL-devel] problems installing ppl-0.[78] with sicstus on amd64