Probably should still install ACL2