diff --git a/src/main.cpp b/src/main.cpp
index 2b039161..a437f883 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -17,7 +17,6 @@
   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
-#include <cstdio>
 #include <iostream>
 #include <string>
 
@@ -36,13 +35,6 @@ extern void kpk_bitbase_init();
 
 int main(int argc, char* argv[]) {
 
-  // Disable IO buffering for C and C++ standard libraries
-  setvbuf(stdin, NULL, _IONBF, 0);
-  setvbuf(stdout, NULL, _IONBF, 0);
-  cout.rdbuf()->pubsetbuf(NULL, 0);
-  cin.rdbuf()->pubsetbuf(NULL, 0);
-
-  // Startup initializations
   init_bitboards();
   Position::init();
   kpk_bitbase_init();
@@ -58,7 +50,7 @@ int main(int argc, char* argv[]) {
 
       uci_loop(); // Enter the UCI loop and wait for user input
   }
-  else if (string(argv[1]) == "bench" && argc < 8)
+  else if (string(argv[1]) == "bench")
       benchmark(argc, argv);
 
   else