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