[Bug 515813] coq fails to build for ppc64 in both opt and non-opt versions