(main): Do not sync I/O streams with stdio, since I do not use stdin,

stdout or stderr.

main.cc

@@ -539,6 +539,8 @@ def vmax(d, val):\n\
 
 int main(int argc, char * argv[], char * envp[])
 {
+  std::ios::sync_with_stdio(false);
+
   try {
     return parse_and_report(argc, argv, envp);
   }