fix for GDB command