diff --git a/c/src/lib/libbsp/mips/p4000/startup/idtmem.S b/c/src/lib/libbsp/mips/p4000/startup/idtmem.S
index 66c1a4ecbc..513c2b7a9b 100644
--- a/c/src/lib/libbsp/mips/p4000/startup/idtmem.S
+++ b/c/src/lib/libbsp/mips/p4000/startup/idtmem.S
@@ -36,10 +36,10 @@ LICENSED MATERIAL - PROGRAM PROPERTY OF IDT
  * to set mem_size. 
  */
 
-#include "iregdef.h"
-#include "idtcpu.h"  
-#include "idtmon.h"  
-#include "saunder.h"
+#include <rtems/score/iregdef.h>
+#include <rtems/score/idtcpu.h>
+#include <rtems/score/idtmon.h>
+/* #include <rtems/score/saunder.h> XXX - missing*/
 
 
 	.data
diff --git a/c/src/lib/libbsp/mips/p4000/startup/setvec.c b/c/src/lib/libbsp/mips/p4000/startup/setvec.c
index 1c6b581296..085c2ffd31 100644
--- a/c/src/lib/libbsp/mips/p4000/startup/setvec.c
+++ b/c/src/lib/libbsp/mips/p4000/startup/setvec.c
@@ -30,8 +30,6 @@ static char _sccsid[] = "@(#)setvec.c 04/25/96     1.2\n";
 #include <rtems.h>
 #include <bsp.h>
 
-#include <excepthdr.h>
-
 mips_isr_entry set_vector(                    /* returns old vector */
   rtems_isr_entry     handler,                  /* isr routine        */
   rtems_vector_number vector,                   /* vector number      */
diff --git a/c/src/lib/libbsp/mips64orion/p4000/startup/idtmem.S b/c/src/lib/libbsp/mips64orion/p4000/startup/idtmem.S
index 66c1a4ecbc..513c2b7a9b 100644
--- a/c/src/lib/libbsp/mips64orion/p4000/startup/idtmem.S
+++ b/c/src/lib/libbsp/mips64orion/p4000/startup/idtmem.S
@@ -36,10 +36,10 @@ LICENSED MATERIAL - PROGRAM PROPERTY OF IDT
  * to set mem_size. 
  */
 
-#include "iregdef.h"
-#include "idtcpu.h"  
-#include "idtmon.h"  
-#include "saunder.h"
+#include <rtems/score/iregdef.h>
+#include <rtems/score/idtcpu.h>
+#include <rtems/score/idtmon.h>
+/* #include <rtems/score/saunder.h> XXX - missing*/
 
 
 	.data
diff --git a/c/src/lib/libbsp/mips64orion/p4000/startup/setvec.c b/c/src/lib/libbsp/mips64orion/p4000/startup/setvec.c
index 1c6b581296..085c2ffd31 100644
--- a/c/src/lib/libbsp/mips64orion/p4000/startup/setvec.c
+++ b/c/src/lib/libbsp/mips64orion/p4000/startup/setvec.c
@@ -30,8 +30,6 @@ static char _sccsid[] = "@(#)setvec.c 04/25/96     1.2\n";
 #include <rtems.h>
 #include <bsp.h>
 
-#include <excepthdr.h>
-
 mips_isr_entry set_vector(                    /* returns old vector */
   rtems_isr_entry     handler,                  /* isr routine        */
   rtems_vector_number vector,                   /* vector number      */