diff --git a/db/options_file_test.cc b/db/options_file_test.cc
index 808e492be..86a98899a 100644
--- a/db/options_file_test.cc
+++ b/db/options_file_test.cc
@@ -109,6 +109,9 @@ int main(int argc, char** argv) {
 #endif  // !(defined NDEBUG) || !defined(OS_WIN)
 }
 #else
+
+#include <cstdio>
+
 int main(int argc, char** argv) {
   printf("Skipped as Options file is not supported in RocksDBLite.\n");
   return 0;