[GHC] #10861: `configure -C` yields different results on second run