Revert "compressed: removed unneeded file"

This reverts commit eb657a7efd24031227f40d69905d60c18340916f.