diff --git a/src/libcmd/repl.cc b/src/libcmd/repl.cc
index 32cbf8e33..28341259c 100644
--- a/src/libcmd/repl.cc
+++ b/src/libcmd/repl.cc
@@ -1,3 +1,4 @@
+#include <cstdio>
 #include <editline.h>
 #include <iostream>
 #include <cstdlib>