Update mainfile.txt