> X-From-Line: ludovic at ludovic-brenta.org Sat Jun 12 12:37:00 2010 Please do not include email headers when you send email to a mailing list, that's very unfriendly. We do not have much expertise in autoconf, so if you could submit a formal patch, that would probably help. Arno