Add a bignum-branch tweak to INSTALL.