A bug in symbol loading in winedbg