bochs: use wxgtk28, 3.0 doesn't work