diff --git a/servers/vm/arch/i386/Makefile.inc b/servers/vm/arch/i386/Makefile.inc
index c047ac56d..a5cb2757c 100644
--- a/servers/vm/arch/i386/Makefile.inc
+++ b/servers/vm/arch/i386/Makefile.inc
@@ -2,4 +2,4 @@
 
 #Arch-specific sources
 .PATH: ${.CURDIR}/arch/${ARCH}
-SRCS+=	vm.c pagetable.c arch_pagefaults.c util.S
+SRCS+=	vm.c pagetable.c arch_pagefaults.c #util.S