Make gdb dumpbt work again (at least partially)