diff --git a/c/src/lib/libbsp/m68k/mvme167/include/bsp.h b/c/src/lib/libbsp/m68k/mvme167/include/bsp.h
index 12af9fe2aa..1efd026213 100644
--- a/c/src/lib/libbsp/m68k/mvme167/include/bsp.h
+++ b/c/src/lib/libbsp/m68k/mvme167/include/bsp.h
@@ -30,6 +30,7 @@ extern "C" {
 #include <clockdrv.h>
 #include <console.h>
 #include <iosupp.h>
+#include <bspIo.h>
 
 
 /*
@@ -306,11 +307,6 @@ typedef volatile struct cd2401_regs_ {
 /* CD2401 is clocked at 20 MHz */
 #define CD2401_CLK_RATE 20000000
 
-/* 
- *  Debug print functions: implemented in console.c
- */
-void BSP_output_string( char * buf );
-
 /* BSP-wide functions */
 
 void bsp_cleanup( void );