Rename HelloWorld.c.txt to HelloWorld.c