This MR adds necessary patch to make gmp work with wasm32 for the time being. It does not impact native platforms.