Revert "Remove temporary file."
This reverts commit 821c7769.
A revert message should explain why (I know the reason: it needs to be cleaned), but it's better to keep it for anyone else.
Sorry I skipped it. I believe it's not recommend to rewrite Git history, so it will have to stay as is.