Fix for gdb