Made some tweaks to allow runs with (set-compile-fns t), which allowed a regression to pass with the new file, acl2-customization-files/set-compile-fns.lisp:

(time nice make -j 8 regression-everything-fresh ACL2_CUSTOMIZATION=/projects/acl2/acl2/acl2-customization-files/set-compile-fns.lisp USE_QUICKLISP=1 ACL2=/projects/acl2/acl2/ccl-saved_acl2h)