How to install ebnflint on Debian Unstable (Sid)