Building nettle-2.7.1 with static GMP bug