Some tweaks/fixes for wxgtk