Work around a 2.9.4 wxWidgets bug.