How to install flatzinc on Debian Unstable (Sid)