How to install libghc-smtlib-prof on Debian Unstable (Sid)