Re: [GHC] #8620: make -j3 build of head on Mac 10.9 with xcode 5 fails