diff -uw denemo-1.1.6/src/audio/midi.c.orig denemo-1.1.6/src/audio/midi.c
--- denemo-1.1.6/src/audio/midi.c.orig	2014-07-02 13:05:08.917137630 +0200
+++ denemo-1.1.6/src/audio/midi.c	2014-07-02 16:46:32.555299904 +0200
@@ -137,16 +137,16 @@
   return FALSE;
 }
 
-static gboolean do_set_playbutton (gboolean paused)
+static gboolean do_set_playbutton (gboolean* paused)
 {
-    set_playbutton (paused);
+    set_playbutton (*paused);
     return FALSE;
 }
 static gboolean
 update_playbutton_callback (gboolean paused)
 {
   
-  g_main_context_invoke (NULL, (GSourceFunc)do_set_playbutton, paused);
+  g_main_context_invoke (NULL, (GSourceFunc)do_set_playbutton, &paused);
   
   return FALSE;
 }
