How to install minizinc-ide on Debian Unstable (Sid)