[GHC] #13020: Use a fixed SDK for Mac OS X builds