core, s3, etc. should have unique names for their PDBs, and building INSTALL should copy them along with the lib / dll into Program Files. I'm seeing this using the -DSTATIC_LINKING=1 version for static linking.