Re: Patch/workaround for configure problem