How to install mozart-stdlib on Debian Unstable (Sid)