Put the main.cc back in