Thanks, fixed long ago in CVS Autoconf.

Reply via email to