gdb-7.12.local.patch