Fix ppc64 build-break