Reuse temporary files (fixes #4)