Re: Mysterious cmake failure on ppc64