How to install mcrl2 on Debian Unstable (Sid)