wxGTK: version bumped to 2.8.12.1.