> I didn't follow this thread, but autoconf questions should go to > autoconf@gnu.org. I posted there once, but didn't get any response. I will try again, thanks.