Re: [PATCH v2] dejagnu: Update to 1.6