Fix ABI for gmp
Fix threads model for darwin