Fix bug that was leaving junk in /tmp