Re: Problems with texinfmt and the smoketest