Rename wxgtk into wxgtk-gtk3