--- src/devtools/uk_dump.c.orig	2020-11-08 18:23:30 UTC
+++ src/devtools/uk_dump.c
@@ -24,6 +24,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+#include <sys/types.h>
 
 #include "read_file.h"