further gdb fixes