NaCl: Don't modify output file name in 'finalize'