#1135: Help debugging cmake failures on ppc64 builders