gmp: upgrade to 4.3.1 and fix compile on 64-bit mac os x