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