diff --git a/arduino_lpc1114.h b/arduino_lpc1114.h
index ceace84..2efee1f 100644
--- a/arduino_lpc1114.h
+++ b/arduino_lpc1114.h
@@ -20,7 +20,7 @@
   interrupt safe and also a few clock cycles faster. See macros in pinio.h.
 */
 
-#include "mbed-LPC11xx.h"
+#include "cmsis-lpc11xx.h"
 
 /** Pins for UART, the serial port.
 */
diff --git a/mbed-LPC11xx.h b/cmsis-lpc11xx.h
similarity index 100%
rename from mbed-LPC11xx.h
rename to cmsis-lpc11xx.h
diff --git a/delay-arm.c b/delay-arm.c
index a13523f..08fd170 100644
--- a/delay-arm.c
+++ b/delay-arm.c
@@ -5,7 +5,7 @@
 
 #if defined TEACUP_C_INCLUDE && defined __ARMEL__
 
-#include "mbed-LPC11xx.h"  // For __ASM() and __SYSTEM_CLOCK.
+#include "cmsis-lpc11xx.h"  // For __ASM() and __SYSTEM_CLOCK.
 
 
 /** Delay in microseconds.
diff --git a/mbed-system_LPC11xx.c b/mbed-system_LPC11xx.c
index 856f403..9ea97b4 100644
--- a/mbed-system_LPC11xx.c
+++ b/mbed-system_LPC11xx.c
@@ -46,7 +46,7 @@
 #ifdef __ARMEL__
 
 #include "mbed-system_LPC11xx.h"
-#include "mbed-LPC11xx.h"
+#include "cmsis-lpc11xx.h"
 
 // Moved definitions from here to system_LPC11xx.h.
 
diff --git a/serial-arm.c b/serial-arm.c
index 13bedd0..49919a6 100644
--- a/serial-arm.c
+++ b/serial-arm.c
@@ -14,7 +14,7 @@
 #if defined TEACUP_C_INCLUDE && defined __ARMEL__
 
 #include "arduino.h"
-#include "mbed-LPC11xx.h"
+#include "cmsis-lpc11xx.h"
 #include "delay.h"
 #include "sersendf.h"