Thread:TK-999/@comment-4347751-20130906145512/@comment-2200849-20130908140931

Yes, you should extract that tar.gz archive, either using tar in the terminal as I instructed you above or using the graphical user interface.