Adding back in bignum.h to Makefile.am