Patch to make 0.4-dev work with UNICODE wxWidgets