- Manually build acl2, look why "/usr/bin/make mini-proveall" fails.