Fix tmp file name to use new extension, as it should.