trivial: delete tmp files