Re: [GHC] #7699: iOS patch no 2: remove obsolete CROSS_COMPILE variable