Add an option to debug with gdb