1diff --git a/src/args.cc b/src/args.cc 2index a8975e81624c..99854c919341 100644 3--- a/src/args.cc 4+++ b/src/args.cc 5@@ -10,6 +10,7 @@ 6 7 #include <stdlib.h> 8 9+#include <cstdint> 10 #include <iostream> 11 #include <stdexcept> 12 #include <string>