diff --git a/module_usb_audio/reboot.xc b/module_usb_audio/reboot.xc
index 56eb9af0..f45898bd 100644
--- a/module_usb_audio/reboot.xc
+++ b/module_usb_audio/reboot.xc
@@ -51,7 +51,7 @@ void device_reboot_aux(void)
 }
 
 /* Reboots XMOS device by writing to the PLL config register */
-void device_reboot_implementation(chanend spare)
+void device_reboot(chanend spare)
 {
 #if (XUD_SERIES_SUPPORT != XUD_U_SERIES)
     outct(spare, XS1_CT_END);   // have to do this before freeing the chanend
diff --git a/module_usb_audio/rebootwrapper.s b/module_usb_audio/rebootwrapper.s
deleted file mode 100644
index ae321d2a..00000000
--- a/module_usb_audio/rebootwrapper.s
+++ /dev/null
@@ -1,36 +0,0 @@
-# Wrapper generated from this xc code
-# Then modified to fix maxchanends to 0
-# Then simplified
-#void device_reboot_implementation(chanend spare);
-#
-#// This version just exists so generate an assembly wrapper function for me.
-#void device_reboot(chanend spare) 
-#{
-#    device_reboot_implementation(spare);
-#}
-
-.extern device_reboot_implementation, "f{0}(chd)"
-          .text
-          .align    2
-.cc_top device_reboot.function,device_reboot
-          .align    4
-.call device_reboot, device_reboot_implementation
-.globl device_reboot, "f{0}(chd)"
-.globl device_reboot.nstackwords
-.globl device_reboot.maxthreads
-.globl device_reboot.maxtimers
-.globl device_reboot.maxchanends
-.globl device_reboot.maxsync
-.type  device_reboot, @function
-.linkset device_reboot.locnoside, 1
-.linkset device_reboot.locnochandec, 1
-.linkset device_reboot.nstackwords, device_reboot_implementation.nstackwords + 1
-device_reboot:
-          entsp     0x1 
-          bl        device_reboot_implementation 
-          retsp     0x1 
-.size device_reboot, .-device_reboot
-.cc_bottom device_reboot.function
-.linkset device_reboot.maxchanends, 0#device_reboot_implementation.maxchanends
-.linkset device_reboot.maxtimers, device_reboot_implementation.maxtimers
-.linkset device_reboot.maxthreads, device_reboot_implementation.maxthreads