diff --git a/src/dev/devMz8310.c b/src/dev/devMz8310.c
index 34e3fa07c..c31ebef80 100644
--- a/src/dev/devMz8310.c
+++ b/src/dev/devMz8310.c
@@ -50,7 +50,7 @@
 #include	<types.h>
 #include	<stdioLib.h>
 #include	<string.h>
-#include	<iv.h>
+#include	<intLib.h>
 
 #include	<alarm.h>
 #include	<dbRecType.h>