Re: Configure option with wxWidgets