diff --git a/os/ports/GCC/PPC/chcore.h b/os/ports/GCC/PPC/chcore.h
index 0f78b3b9b..b689026e5 100644
--- a/os/ports/GCC/PPC/chcore.h
+++ b/os/ports/GCC/PPC/chcore.h
@@ -54,6 +54,7 @@
 #define PPC_VARIANT_e200z4              204
 /** @} */
 
+#include "vectors.h"
 #include "ppcparams.h"
 
 /*===========================================================================*/