> And I'll ask you: are you happy with this change from the point of > view of libiberty? Yes. Libiberty doesn't care which dejagnu it uses.