How to reduce a file size if compressing is not enough