diff --git a/server/ptrace.c b/server/ptrace.c
index db2804ab093..9788339c814 100644
--- a/server/ptrace.c
+++ b/server/ptrace.c
@@ -528,11 +528,9 @@ void get_selector_entry( struct thread *thread, int entry, unsigned int *base,
 }
 
 
-#if defined(linux) && (defined(__i386__) || defined(__x86_64__))
+#if defined(linux) && defined(HAVE_SYS_USER_H) && (defined(__i386__) || defined(__x86_64__))
 
-#ifdef HAVE_SYS_USER_H
-# include <sys/user.h>
-#endif
+#include <sys/user.h>
 
 /* debug register offset in struct user */
 #define DR_OFFSET(dr) ((((struct user *)0)->u_debugreg) + (dr))