[GHC] #10090: Building ghc with "make -j12" gives different ABI hashes for base to "make -j8"