Re: [GHC] #13515: Unexpected failure of T11223_simple_duplicate_lib on 32-bit Windows