Update with respect to DejaGnu and Expect.