dietlibc/ppc64
