How to remove libppl-swi from Debian Unstable (Sid)