HACK: change the tmpdir if --keep-tmp is set.

We were coincidentally deleting the /tmp before (which we wanted).
Now that we sometimes need to keep it, change directories to preserve
it only when we want it.  Otherwise let it get removed.