diff --git a/sc/cmdline.cpp b/sc/cmdline.cpp
index 71d9928b2..232cbfeec 100644
--- a/sc/cmdline.cpp
+++ b/sc/cmdline.cpp
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <string>
 #include <iostream>
 #include <vector>
 #include <map>