[PATCH v2] dejagnu: Update to 1.6