Fix some spurious errors in gdb integration