Joerg, at some point in the last month gdb -k stopped working properly.
It can no longer find processes (the 'proc' command is unknown), and
it can't seem to handle our stack frames properly either. I had a bunch
of hacks in the old gdb to deal with these issues that I think have
to be ported. What's the current state of gdb ?
-Matt