diff --git a/devicemodel/Makefile b/devicemodel/Makefile
index 205ed10bc..dd818f919 100644
--- a/devicemodel/Makefile
+++ b/devicemodel/Makefile
@@ -83,7 +83,6 @@ LIBS = -lrt
 LIBS += -lpthread
 LIBS += -lcrypto
 LIBS += -lpciaccess
-LIBS += -luuid
 LIBS += -lusb-1.0
 LIBS += -lacrn-mngr
 LIBS += -lcjson
diff --git a/devicemodel/include/timer.h b/devicemodel/include/timer.h
index 344129e33..6dd18b57a 100644
--- a/devicemodel/include/timer.h
+++ b/devicemodel/include/timer.h
@@ -6,6 +6,7 @@
 #ifndef _TIMER_H_
 #define _TIMER_H_
 
+#include <time.h>  // for struct itimerspec
 #include <sys/param.h>
 
 struct acrn_timer {
diff --git a/devicemodel/include/vmmapi.h b/devicemodel/include/vmmapi.h
index d6a6e0a78..dd848dee9 100644
--- a/devicemodel/include/vmmapi.h
+++ b/devicemodel/include/vmmapi.h
@@ -30,7 +30,6 @@
 #define	_VMMAPI_H_
 
 #include <sys/param.h>
-#include <uuid/uuid.h>
 #include "types.h"
 #include "macros.h"
 #include "pm.h"