wxGTK: a little bit of tweaking of BUILD and adding an mquery to CONFIGURE