Adopt fix from ewemoa to give more memory to acl2 build