diff --git a/src/exec_ptrace.c b/src/exec_ptrace.c
index db70ec855..887846f3c 100644
--- a/src/exec_ptrace.c
+++ b/src/exec_ptrace.c
@@ -29,8 +29,12 @@
 #include <errno.h>
 #include <limits.h>
 #include <signal.h>
+#if defined(HAVE_STDINT_H)
+# include <stdint.h>
+#elif defined(HAVE_INTTYPES_H)
+# include <inttypes.h>
+#endif
 #include <stddef.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>