Name the .pdb files so that WinDbg can consume them.

Change-Id: I62cecfb36dd912a1a736d063761faa445a29f3a7