How to remove mcrl2 from Debian Unstable (Sid)