Also, in Linux, extensions pretty much never matter. You could have an executable file called foo.bin, foo, foo.txt, etc. and it would still be run as "./<filename>". You could have a text file named bar.txt, bar, bar.exe, bar.zip, etc. and you can still open and edit it as normal in a text editor. To determine what kind of file you're working with, type "file <filename>"