correctly named

Unfortunately, Linux hack to rename the 7z-file didn't work as expected,
because of the internal filename of the extracted file, which was not
altered by the 7z file renaming.

7z got extracted, stored tar renamed and everything repacked again.