#6264: No ppc builders?