Get rid of old bignum_ppc.c since we use the asm version