toOptionalCompressedFileExtension