How to remove libgportugol0 from Debian Unstable (Sid)