Update windbg_init.txt