[GHC] #16268: Potential race condition in Hadrian?