Re: [GHC] #10161: GHC does not relink if we link against a new library with old timestamp (was: GHC does not relink if a library's code changed)