How to install acl2-infix on Debian Unstable (Sid)