Oops, one Makefile change didn't get pulled into bignum correctly somehow.