Revert last commit for main.cc, was by mistake