Re: Problem with configure/config.cache