How to remove acl2-infix from Debian 9 (Stretch)