Update main.cxx