My configuration for GDB