[KDGDB] Fix compilation following commit de81021ba (#4930)