Avoid leaving useless stuff in /tmp