acl2: binary-compiled-with-profiling-enabled usr/lib/acl2-8.2dfsg/saved_acl2
acl2: hardening-no-pie usr/lib/acl2-8.2dfsg/saved_acl2
