I overlooked that one of those failure was not related to DejaGNU, but due to the use of the GZIP environment variable which had been fixed in commit 749468ac63042820bc3da85ece5bed64b0c15d62 [1] which will be available in the next bug-fix release. -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37 [1] https://git.savannah.gnu.org/cgit/automake.git/commit/?id=749468ac63042820bc3da85ece5bed64b0c15d62