correct file name for main