diff --git a/reactos/drivers/input/i8042prt/CMakeLists.txt b/reactos/drivers/input/i8042prt/CMakeLists.txt
index 86557ff3042..917e7f2cb5c 100644
--- a/reactos/drivers/input/i8042prt/CMakeLists.txt
+++ b/reactos/drivers/input/i8042prt/CMakeLists.txt
@@ -9,6 +9,7 @@ add_library(i8042prt SHARED
     ps2pp.c
     readwrite.c
     registry.c
+    guid.c
     i8042prt.rc)
 
 set_module_type(i8042prt kernelmodedriver)
diff --git a/reactos/drivers/input/i8042prt/guid.c b/reactos/drivers/input/i8042prt/guid.c
new file mode 100644
index 00000000000..f6ebc0c574d
--- /dev/null
+++ b/reactos/drivers/input/i8042prt/guid.c
@@ -0,0 +1,7 @@
+/* DO NOT USE THE PRECOMPILED HEADER FOR THIS FILE! */
+
+#include <wdm.h>
+#include <initguid.h>
+#include <poclass.h>
+
+/* NO CODE HERE, THIS IS JUST REQUIRED FOR THE GUID DEFINITIONS */
diff --git a/reactos/drivers/input/i8042prt/i8042prt.h b/reactos/drivers/input/i8042prt/i8042prt.h
index 08211211d05..8001d431101 100644
--- a/reactos/drivers/input/i8042prt/i8042prt.h
+++ b/reactos/drivers/input/i8042prt/i8042prt.h
@@ -1,6 +1,4 @@
 
-#define INITGUID
-
 #include <ntifs.h>
 #include <kbdmou.h>
 #include <ntdd8042.h>