diff --git a/shell/dbshell.cpp b/shell/dbshell.cpp
index f653db493ff..366d6a080e0 100644
--- a/shell/dbshell.cpp
+++ b/shell/dbshell.cpp
@@ -251,6 +251,8 @@ bool fileExists( string file ){
     }
 }
 
+// Temporary code for debugging SERVER-500
+#include "util/file.h"
 void printFile( const char *name ) {
 #if defined(__linux__)
     int f = open( name, O_RDONLY );