size-optimized tiny .7z extractor and SFX
