Updates to ICE 3.5.1, wxWidgets 2.9.5 and fixes the release build.