that the master site has been down for some time so I can't confirm that that tar file has a tar.gz ending but I assume that it must be the same.