mohring@informatik.tu-muenchen.de
and stEnum. The last three are required to be able to build the current checked in gdb on a non-sgi machine.