I messed up archiving the original file. It should have been a .7z file but I arbitrarily made it a .zip. Now it is properly archived and the file type is the commonplace .zip. Apologies if it did not work for you at first.