Come desinstalare why3 su Debian Unstable (Sid)