Adjustments to restore wxWidgets 2.8.12 compatibility.