I thought I had fixed that ages ago. You are right, now user knows what to do with a tgz file anyway.
Thanks Malte.