diff --git a/reactos/drivers/input/i8042prt/CMakeLists.txt b/reactos/drivers/input/i8042prt/CMakeLists.txt
index 1761b6111c5..ddeba6f0d09 100644
--- a/reactos/drivers/input/i8042prt/CMakeLists.txt
+++ b/reactos/drivers/input/i8042prt/CMakeLists.txt
@@ -16,5 +16,5 @@ add_library(i8042prt SHARED
 
 set_module_type(i8042prt kernelmodedriver)
 add_importlibs(i8042prt ntoskrnl hal)
-
+add_pch(i8042prt i8042prt.h)
 add_cd_file(TARGET i8042prt DESTINATION reactos/system32/drivers NO_CAB FOR all)
\ No newline at end of file
diff --git a/reactos/drivers/input/i8042prt/i8042prt.h b/reactos/drivers/input/i8042prt/i8042prt.h
index 035feaf9ea9..a5aa4da41b4 100644
--- a/reactos/drivers/input/i8042prt/i8042prt.h
+++ b/reactos/drivers/input/i8042prt/i8042prt.h
@@ -1,5 +1,3 @@
-#pragma once
-
 #include <ntifs.h>
 #include <kbdmou.h>
 #include <ntdd8042.h>
diff --git a/reactos/drivers/input/i8042prt/i8042prt.rbuild b/reactos/drivers/input/i8042prt/i8042prt.rbuild
index 5542ab5d0e2..d7b76bb1c82 100644
--- a/reactos/drivers/input/i8042prt/i8042prt.rbuild
+++ b/reactos/drivers/input/i8042prt/i8042prt.rbuild
@@ -15,4 +15,5 @@
 	<file>registry.c</file>
 	<file>setup.c</file>
 	<file>i8042prt.rc</file>
+	<pch>i8042prt.h</pch>
 </module>