Don't synchronize stdio with iostreams, since it's unnecessary. This can give

us a free speed bonus.

main.cc

@@ -447,6 +447,8 @@ int main(int argc, char * argv[], char * envp[])
   std::auto_ptr<journal_t> journal;
 
   try {
+    std::ios::sync_with_stdio(false);
+
 #if DEBUG_LEVEL < BETA
     ledger::do_cleanup = false;
 #endif