wxwidgets for x86_64 target 

building wxwidgets 2.8.12 for the x86_64 target failed. The attached pull request provides a patch for 2.9.4 and the corresponding upgrade to 2.9.4.