import gdb patch from gdb 7.5