Update 2013-06-14-WinDbg-Setup.md