diff --git a/vvp/main.cc b/vvp/main.cc
index 5e58d6548..de9064c67 100644
--- a/vvp/main.cc
+++ b/vvp/main.cc
@@ -34,9 +34,6 @@
 #if defined(HAVE_SYS_RESOURCE_H)
 # include  <sys/time.h>
 # include  <sys/resource.h>
-# if defined(LINUX)
-#  include <asm/page.h>
-# endif
 #endif // defined(HAVE_SYS_RESOURCE_H)
 
 #if defined(HAVE_GETOPT_H)