How to install alt-ergo on Debian Unstable (Sid)