  #undef SDL_VIDEO_DRIVER_PICOGUI
 diff -ruwN source/src/audio/redox/SDL_redoxaudio.c source-new/src/audio/redox/SDL_redoxaudio.c
 --- source/src/audio/redox/SDL_redoxaudio.c	1969-12-31 17:00:00.000000000 -0700
-+++ source-new/src/audio/redox/SDL_redoxaudio.c	2018-12-29 19:03:23.935759505 -0700
-@@ -0,0 +1,175 @@
++++ source-new/src/audio/redox/SDL_redoxaudio.c	2018-12-30 08:49:12.532354653 -0700
+@@ -0,0 +1,169 @@
 +/*
 +    SDL - Simple DirectMedia Layer
 +    Copyright (C) 1997-2012 Sam Lantinga

 	      | -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \
diff -ruwN source/configure.in source-new/configure.in
--- source/configure.in	2012-01-18 23:30:05.000000000 -0700
+++ source-new/configure.in	2018-12-29 17:27:34.957444409 -0700
@@ -685,6 +685,18 @@
     fi
 }

+
+/* This function waits until it is possible to write a full sound buffer */
+static void REDOXAUD_WaitAudio(_THIS)
+{}
+
+static void REDOXAUD_PlayAudio(_THIS)
+{
+	int written;
+
+	/* Write the audio data */
