Add a rename step for saving vector temp files.
Add a rename step for saving vector temp files.

Otherwise we might end up with saves having the wrong length.

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs