Re: [GHC] #7759: iOS patch no 14: libraries/base changes