Temp file does not use a new extension, so that text editors can open the file