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