Rename HelloWorld to HelloWorld.krl