Update HOWTO_gdb.txt