This is really strange, the .7z file extension is missing? Are you sure you are not renaming the file when saving, thus stripping the extension? If your current archive manager can't open .7z files, I would advise you to install 7zip. Maybe I misunderstand your problem.
