PPC64LE problems?