How to install boogie on Debian Unstable (Sid)