Support for debugging with gdb