Re: [GHC] #12397: Support for PDB debug information generation