added info on using GDB debugger