correct "mainfile"