How to remove flatzinc from Debian Unstable (Sid)