wxWidgets: update configure file