Andrew C enlightens me: > gdb/PROBLEMS :-) Doh! As soon as I woke up this morning, I realized that! Patch coming up. As far as Eli's suggestion to make the configury warn about this: it's interesting, but I'm going to pass on it. Michael C