I wonder if we shouldn't just store the file in the tmp directory and "cache" it there instead of always deleting and redownloading.  It's probably not a big deal to leave it in the tmp dir and would make subsequent startups a lot faster (given that this is largely for futzing with setting things up, it's probably good to optimize for startup time).