just look for the acl2 binary