--- a/arch/x86/vdso/vdso2c.c
+++ b/arch/x86/vdso/vdso2c.c
@@ -63,8 +63,8 @@
#include <tools/le_byteshift.h>
-#include <linux/elf.h>
-#include <linux/types.h>
+#include <elf.h>
+#include <stdbool.h>
const char *outfilename;