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);