core.t: Removed the additional file extension of a temporary file,
because the new file name was not registered for cleanup
like the old one, so it was not deleted on exit