How to install smlnj-doc on Debian Unstable (Sid)