Re: [MacPorts] #12625: x86-fat.diff patch needed for gmp