Fix Linux compilation.

This also requires an upgrade to wxWidgets v3.0.1 to fix a bug
related to v3.0.0 with GTK support.