various gdb patches, extensions