changed the extension of the HelloWorld file