How to install minizinc on Debian Unstable (Sid)