map legacy export filename extensions to new ones

particularly complete.zip -> zip, so opportunistic file linking works.