Rename main.c.txt to main.c