--- common/tool/tool_manager.cpp.orig	2018-07-13 19:53:52 UTC
+++ common/tool/tool_manager.cpp
@@ -26,6 +26,7 @@
 #include <map>
 #include <stack>
 #include <algorithm>
+#include <functional>
 
 #include <core/optional.h>
 
