The rm option no longer deletes 0-size files; it also verifies that the file being deleted was not modified by the extractor
