diff --git a/module_usb_aud_shared/audio.xc b/module_usb_aud_shared/audio.xc
index a43cc04f..4e7d11cc 100755
--- a/module_usb_aud_shared/audio.xc
+++ b/module_usb_aud_shared/audio.xc
@@ -12,7 +12,6 @@
 #include <xs1.h>
 #include <xclib.h>
 #include <print.h>
-#include <assert.h>
 
 #include "clocking.h"
 #include "audioports.h"
diff --git a/module_usb_aud_shared/usb_buffer/decouple.xc b/module_usb_aud_shared/usb_buffer/decouple.xc
index 3f344216..79d6fc4c 100644
--- a/module_usb_aud_shared/usb_buffer/decouple.xc
+++ b/module_usb_aud_shared/usb_buffer/decouple.xc
@@ -1,6 +1,5 @@
 #include <xs1.h>
 #include <print.h>
-#include <assert.h>
 #include "xc_ptr.h"
 #define NO_INLINE_MIDI_SELECT_HANDLER 1
 #include "usb_midi.h"