diff --git a/common/timing.cc b/common/timing.cc
index aadd8381..5e45f8a2 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -21,6 +21,7 @@
 #include "timing.h"
 #include <algorithm>
 #include <boost/range/adaptor/reversed.hpp>
+#include <deque>
 #include <unordered_map>
 #include <utility>
 #include "log.h"