Compatibility with gdb 7.4