diff --git a/util/led/archive.c b/util/led/archive.c
index e36958d17..7cb3397b8 100644
--- a/util/led/archive.c
+++ b/util/led/archive.c
@@ -8,6 +8,8 @@ static char rcsid[] = "$Id$";
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <stdint.h>
+#include <stdbool.h>
 #include "arch.h"
 #include "out.h"
 #include "ranlib.h"