diff -up wrk/src/wxterminal/wxt_gui.h.wrk wrk/src/wxterminal/wxt_gui.h
--- wrk/src/wxterminal/wxt_gui.h.wrk	2014-04-15 17:45:55.184153975 +0200
+++ wrk/src/wxterminal/wxt_gui.h	2014-04-15 17:48:08.151643628 +0200
@@ -155,8 +155,9 @@ extern "C" {
  * already has its event loop, we may or may not be multithreaded */
 #ifndef WXT_MONOTHREADED
 #if defined(__WXGTK__)
-# define WXT_MULTITHREADED
-#elif defined(__WXMSW__) || defined(__WXMAC__)
+//avoid a crash when unlocking a not-locked mutex, do not use threads
+//# define WXT_MULTITHREADED
+//#elif defined(__WXMSW__) || defined(__WXMAC__)
 # define WXT_MONOTHREADED
 #else
 # error "wxt does not know if this platform has to be single- or multi-threaded"