iOS (xcode) port of libgmp with universal binary