bug fix: filenames not updated when compressing