diff --git a/src/target/arm720t.h b/src/target/arm720t.h
index f0ab44477..d78c07e68 100644
--- a/src/target/arm720t.h
+++ b/src/target/arm720t.h
@@ -20,7 +20,7 @@
 #ifndef ARM720T_H
 #define ARM720T_H
 
-#include "arm7tdmi.h"
+#include <target/arm7tdmi.h>
 #include "armv4_5_mmu.h"
 
 #define	ARM720T_COMMON_MAGIC 0xa720a720