compress_one_file