Come desinstalare flatzinc su Debian Unstable (Sid)