--- backends/ppc_initreg.c	2019-11-26 23:48:42.000000000 +0100
+++ backends/ppc_initreg.c	2019-12-08 16:57:58.334872602 +0100
@@ -32,6 +32,7 @@
 
 #include <stdlib.h>
 #if defined(__powerpc__) && defined(__linux__)
+# include <asm/ptrace.h>
 # include <sys/ptrace.h>
 # include <sys/user.h>
 #endif
