>>>>> "Stefan" == Stefan Weil <sw@weilnetz.de> writes: Stefan> Fixing problems at their source - in this Stefan> case fixing gdb - is of course the best solution. Could you file a gdb bug report? Tom