Re: [PATCH] Fix output of configure.ac