gzip's behavior, was Re: Unix handles file extensions "very poorly"?