@alexhenrie thanks for the repro... I now see what happens.
It's caused by some erroneous detection of which debug format to use (not what's in the debug format itself).
a proper fix will require some rework in dbghelp; it'll fix both the decoration in 32bit and the internal vs exported name mixup
(so this MR shall be no longer needed)