Re: [GHC] #10161: GHC does not relink if we link against a new library with old timestamp