Re: An easy way to redefine configure?