diff --git a/src/args.cc b/src/args.cc
index 7ac8c2f81..82011a685 100644
--- a/src/args.cc
+++ b/src/args.cc
@@ -8,6 +8,7 @@
 
 #include "args.h"
 
+#include <stdint.h>
 #include <stdlib.h>
 
 #include <iostream>