Mark Kettenis <kettenis@chello.nl> writes: > So I guess it is not needed. gdb does build without that #include. > > In that case, could you check it in without the #include? Done. Thanks. Ian