This is a diff between 1.2 and 1.3 revisions:

98a99
< gz_compress_file (file_name, file_name||'.gz');
< file_delete (file_name);
97d98
> gz_compress_file (file_name, file_name||'.gz');
> file_delete (file_name);
75a76
< gz_compress_file (file_name, file_name||'.gz');
< file_delete (file_name);
74d75
> gz_compress_file (file_name, file_name||'.gz');
> file_delete (file_name);